机译:允许的名词性术语及其统一:名词性技术的无限,共无限方法
机译:许可标称逻辑:标称项和集合的一阶逻辑
机译:将元变量作为名义上的无限列表进行统一和重写
机译:用Letrec和环境变量的标称统一
机译:ch'ol = ch'OL中标称和字词语法的相互依赖性= CH'OL中标称和符号语法的相互依赖
机译:在非特异性特发性发作性的第一个发作后持续疼痛的潜在可修饰的预后因素的共识:标称组和德尔福技术方法的结果
机译:许可名义条款
机译:标称和非标称操作条件下FBR燃料组件热力学专家会议。总结报告